% LaTeX source for the documentation on the evaltrace style and font.
% Copyright, David S. Touretzky and Peter Lee
% November, 1989

\documentstyle[12pt,fullpage,evaltrace,code]{article}
\newcommand{\ie}{{\it i.e.}}
\newcommand{\eg}{{\it e.g.}}
\newcommand{\vs}{{\it vs.}}
\newcommand{\horizline}{{\noindent\rule{\textwidth}{.01in}}}
\newcommand{\metafont}{{\small METAFONT}}

\pagestyle{myheadings}
\markboth{Evaltrace style and font \hfil}{Evaltrace style and font \hfil}

\title{The Evaltrace Style and Font\\
{\normalsize Version 1.00}}

\author{Peter Lee\\[10pt]
School of Computer Science\\
Carnegie Mellon University\\
Pittsburgh, Pennsylvania 15213--3890}

\date{\today}

\begin{document}

\maketitle

\input{docbody}

\end{document}
